Mycroft, R. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (141)
Les plus populaires
Liste
- Liste
- Tableau

1

Planetary Resources—The Asteroid Mining Company

Lewicki, Chris, Diamandis, Peter, Anderson, Eric, Voorhees, Chris, Mycroft, Frank

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 203 KB

english, 2013

2

Polynomial-time perfect matchings in dense hypergraphs

Keevash, Peter, Knox, Fiachra, Mycroft, Richard

Journal:

Advances in Mathematics

Année:

2015

Langue:

english

Fichier:

PDF, 1.14 MB

english, 2015

3

Surveys in Combinatorics 2019 || Supersingular isogeny graphs in cryptography

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 253 KB

english, 2019

4

A polymorphic type system for prolog

Alan Mycroft, Richard A. O'Keefe

Journal:

Artificial Intelligence

Année:

1984

Langue:

english

Fichier:

PDF, 636 KB

english, 1984

5

[IEEE 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS) - Amherst, MA, USA (2015.10.12-2015.10.14)] 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS) - REPAIR: Hard-error recovery via re-execution

Soman, Jyothish, Miralaei, Negar, Mycroft, Alan, Jones, Timothy M.

Année:

2015

Langue:

english

Fichier:

PDF, 718 KB

english, 2015

6

Hamilton cycles in hypergraphs below the Dirac threshold

Garbe, Frederik, Mycroft, Richard

Journal:

Journal of Combinatorial Theory, Series B

Année:

2018

Langue:

english

Fichier:

PDF, 2.65 MB

english, 2018

7

Surveys in Combinatorics 2019 || Extremal theory of vertex or edge ordered graphs

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 212 KB

english, 2019

8

Surveys in Combinatorics 2019 || Some combinatorial and geometric constructions of spherical buildings

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 307 KB

english, 2019

9

Surveys in Combinatorics 2019 || Expanders – how to find them, and what to find in them

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 296 KB

english, 2019

10

Redux: A Dynamic Dataflow Tracer

Nicholas Nethercote, Alan Mycroft

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Fichier:

PDF, 1.25 MB

2003

11

The increased reactivity of pyrrhotite and magnetite phases in sulphide mine tailings

A.R. Pratt, H.W. Nesbitt, J.R. Mycroft

Journal:

Journal of Geochemical Exploration

Année:

1996

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1996

12

[Lecture Notes in Computer Science] Compiler Construction Volume 3923 || Register Allocation for Programs in SSA-Form

Mycroft, Alan, Zeller, Andreas

Année:

2006

Langue:

english

Fichier:

PDF, 430 KB

english, 2006

13

[IEEE Comput. Soc Eighth Working Conference on Reverse Engineering - Stuttgart, Germany (2-5 Oct. 2001)] Proceedings Eighth Working Conference on Reverse Engineering - Comparing type-based and proof-directed decompilation

Mycroft, A., Ohori, A., Katsumata, S.

Année:

2001

Langue:

english

Fichier:

PDF, 555 KB

english, 2001

14

Body surface area estimation in children using weight alone: application in paediatric oncology

Sharkey, I, Boddy, A V, Wallace, H, Mycroft, J, Hollis, R, Picton, S

Journal:

British Journal of Cancer

Année:

2001

Langue:

english

Fichier:

PDF, 63 KB

english, 2001

15

Chemical intervention in bacterial lignin degradation pathways: Development of selective inhibitors for intradiol and extradiol catechol dioxygenases

Sainsbury, Paul D., Mineyeva, Yelena, Mycroft, Zoe, Bugg, Timothy D.H.

Journal:

Bioorganic Chemistry

Année:

2015

Langue:

english

Fichier:

PDF, 1.51 MB

english, 2015

16

[ACM Press the 1st Workshop - Uppsala, Sweden (2014.07.28-2014.08.01)] Proceedings of the 1st Workshop on Programming Language Evolution - PLE '14 - Programming language evolution workshop report

Urma, Raoul-Gabriel, Orchard, Dominic, Mycroft, Alan

Année:

2014

Langue:

english

Fichier:

PDF, 134 KB

english, 2014

17

A proof of Sumner's universal tournament conjecture for large tournaments

Kuhn, D., Mycroft, R., Osthus, D.

Journal:

Proceedings of the London Mathematical Society

Année:

2011

Langue:

english

Fichier:

PDF, 452 KB

english, 2011

18

[ACM Press the nineteenth annual ACM symposium - San Diego, California, USA (2007.06.09-2007.06.11)] Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures - SPAA '07 - Optimal bit-reversal using vector permutations

Lokhmotov, Anton, Mycroft, Alan

Année:

2007

Langue:

english

Fichier:

PDF, 121 KB

english, 2007

19

[ACM Press the 4th ACM symposium - Tokyo, Japan (2011.09.22-2011.09.22)] Proceedings of the 4th ACM symposium on Haskell - Haskell '11 - Extending monads with pattern matching

Petricek, Tomas, Mycroft, Alan, Syme, Don

Année:

2011

Langue:

english

Fichier:

PDF, 632 KB

english, 2011

20

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Polymorphism, subtyping, and type inference in MLsub

Dolan, Stephen, Mycroft, Alan

Année:

2017

Langue:

english

Fichier:

PDF, 442 KB

english, 2017

21

Unwritten: (re)imagining FE as social purpose education

Journal:

Research in Post-Compulsory Education

Année:

2018

Langue:

english

Fichier:

PDF, 660 KB

english, 2018

22

Triangle-Tilings in Graphs Without Large Independent Sets

BALOGH, JÓZSEF, McDOWELL, ANDREW, MOLLA, THEODORE, MYCROFT, RICHARD

Journal:

Combinatorics Probability & Computing

Année:

2018

Langue:

english

Fichier:

PDF, 282 KB

english, 2018

23

Surveys in Combinatorics 2019 || Preface

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 19 KB

english, 2019

24

Surveys in Combinatorics 2019 || Delta-matroids for graph theorists

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 514 KB

english, 2019

25

Surveys in Combinatorics 2019 || Clique-width for hereditary graph classes

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 447 KB

english, 2019

26

Surveys in Combinatorics 2019 || Topological connectedness and independent sets in graphs

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 260 KB

english, 2019

27

Surveys in Combinatorics 2019 || Analytic representations of large graphs

Lo, Allan, Mycroft, Richard, Perarnau, Guillem, Treglown, Andrew

Année:

2019

Langue:

english

Fichier:

PDF, 647 KB

english, 2019

28

Quantitative XPS Measurements of Some Oxides, Sulphides and Complex Minerals

McIntyre, N. S., Davidson, R. D., Mycroft, J. R.

Journal:

Surface and Interface Analysis

Année:

1996

Langue:

english

Fichier:

PDF, 576 KB

english, 1996

29

Detection of sulphur and polysulphides on electrochemically oxidized pyrite surfaces by X-ray photoelectron spectroscopy and Raman spectroscopy

J.R. Mycroft, G.M. Bancroft, N.S. McIntyre, J.W. Lorimer, I.R. Hill

Journal:

Journal of Electroanalytical Chemistry and Interfacial Electrochemistry

Année:

1990

Langue:

english

Fichier:

PDF, 828 KB

english, 1990

30

Loose Hamilton cycles in hypergraphs

Peter Keevash, Daniela Kühn, Richard Mycroft, Deryk Osthus

Journal:

Discrete Mathematics

Année:

2011

Langue:

english

Fichier:

PDF, 377 KB

english, 2011

31

Controlling Control Flow in Web Applications

Robin Message, Alan Mycroft

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 235 KB

english, 2008

32

Hamilton ℓ-cycles in uniform hypergraphs

Daniela Kühn, Richard Mycroft, Deryk Osthus

Journal:

Journal of Combinatorial Theory, Series A

Année:

2010

Langue:

english

Fichier:

PDF, 340 KB

english, 2010

33

Abstract interpretation of combinational asynchronous circuits

Sarah Thompson, Alan Mycroft

Journal:

Science of Computer Programming

Année:

2007

Langue:

english

Fichier:

PDF, 867 KB

english, 2007

34

Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems

Eleftheria Katsiri, Alan Mycroft

Journal:

Simulation Modelling Practice and Theory

Année:

2011

Langue:

english

Fichier:

PDF, 770 KB

english, 2011

35

Bidirectional data flow analysis for type inferencing

Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft

Journal:

Computer Languages, Systems & Structures

Année:

2003

Langue:

english

Fichier:

PDF, 456 KB

english, 2003

36

X-ray photoelectron spectroscopy studies of chromium compounds

M. C. Biesinger, C. Brown, J. R. Mycroft, R. D. Davidson, N. S. McIntyre

Journal:

Surface and Interface Analysis

Année:

2004

Langue:

english

Fichier:

PDF, 297 KB

english, 2004

37

Higher-level techniques for hardware description and synthesis

Alan Mycroft, Richard Sharp

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2003

Langue:

english

Fichier:

PDF, 1.42 MB

english, 2003

38

Pharmacotherapy update in the management of paediatric cancer

Journal:

International Journal of Clinical Pharmacy

Année:

2010

Langue:

english

Fichier:

PDF, 141 KB

english, 2010

39

Efficacy and tolerability of high-dose methotrexate in central nervous system positive or relapsed lymphoproliferative disease following liver transplant in children

Mary M. Taj, Boo Messahel, Julie Mycroft, Kathy Pritchard-Jones, Alistair Baker, Susan Height, Nedim Hadzic, C. Ross Pinkerton

Journal:

British Journal of Haematology

Année:

2008

Langue:

english

Fichier:

PDF, 92 KB

english, 2008

40

Propaganda wars

RYDEHEARD, D.E., MYCROFT, A.

Journal:

Année:

1982

Fichier:

PDF, 114 KB

1982

41

Elevated CO2 will not select for enhanced growth in white spruce despite genotypic variation in response

Erin E. Mycroft, Junyan Zhang, Greg Adams, Ed Reekie

Journal:

Basic and Applied Ecology

Année:

2009

Langue:

english

Fichier:

PDF, 230 KB

english, 2009

42

An approximate version of Sumnerʼs universal tournament conjecture

Daniela Kühn, Richard Mycroft, Deryk Osthus

Journal:

Journal of Combinatorial Theory, Series B

Année:

2011

Langue:

english

Fichier:

PDF, 458 KB

english, 2011

43

Visuoperceptual deficits in letter-by-letter reading?

Rachel H. Mycroft, Marlene Behrmann, Janice Kay

Journal:

Neuropsychologia

Année:

2009

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2009

44

Preserved access to abstract letter identities despite abolished letter naming in a case of pure alexia

R. Mycroft, J.R. Hanley, J. Kay

Journal:

Journal of Neurolinguistics

Année:

2002

Langue:

english

Fichier:

PDF, 75 KB

english, 2002

45

X-ray photoelectron and Auger electron spectroscopy of air-oxidized pyrrhotite: Distribution of oxidized species with depth

J.R. Mycroft, H.W. Nesbitt, A.R. Pratt

Journal:

Geochimica et Cosmochimica Acta

Année:

1995

Langue:

english

Fichier:

PDF, 1.44 MB

english, 1995

46

X-ray photoelectron spectroscopic study of water adsorption on iron sulphide minerals

S.W. Knipe, J.R. Mycroft, A.R. Pratt, H.W. Nesbitt, G.M. Bancroff

Journal:

Geochimica et Cosmochimica Acta

Année:

1995

Langue:

english

Fichier:

PDF, 1.47 MB

english, 1995

47

Spontaneous deposition of gold on pyrite from solutions containing Au (III) and Au (I) chlorides. Part I: A surface study

J.R. Mycroft, G.M. Bancroft, N.S. McIntyre, J.W. Lorimer

Journal:

Geochimica et Cosmochimica Acta

Année:

1995

Langue:

english

Fichier:

PDF, 1.40 MB

english, 1995

48

A proof of Sumnerʼs universal tournament conjecture for large tournaments

Deryk Osthus, Daniela Kühn, Richard Mycroft

Journal:

Electronic Notes in Discrete Mathematics

Année:

2011

Langue:

english

Fichier:

PDF, 169 KB

english, 2011

49

Packing k-partite k-uniform hypergraphs

Richard Mycroft

Journal:

Electronic Notes in Discrete Mathematics

Année:

2011

Langue:

english

Fichier:

PDF, 178 KB

english, 2011

50

LINKING TEMPORAL FIRST ORDER LOGIC AND HIDDEN MARKOV MODELS WITH ABSTRACT EVENTS

KATSIRI, ELEFTHERIA, BACON, JEAN, MYCROFT, ALAN

Journal:

International Journal of Artificial Intelligence Tools

Année:

2010

Langue:

english

Fichier:

PDF, 607 KB

english, 2010